Programming in PARLOG

Experiments with Speculative Parallelism in Parlog

One way to execute a program faster on a parallel computer is to allocate some processors to speculative computation: work which may prove to be unnecessary. However, this technique, speculative parallelism, requires the programmer to have some control over the physical processors in the machine, and is therefore not usually possible in high-level concurrent languages. This paper investigates t...

A Logic Programming Approach to KnowIedge-Based ControI Systems

RTX-Parlog (Real-Time Extended Parlog) is a concurrent logic programming language for real-time systems. It is specially suited for the implementation of Real-Time Knowledge-Based Control Systems. In this paper, the most relevant aspects of RTX-Parlog are described: time management, scheduling, and the tools for timing and scheduling analysis.

A Lingua Franca For Concurrent Logic Programming

Among concurrent logic programming or CLP languages like Concurrent Prolog [16] two of the most prominent are GHC [21] and Parlog [6]. GHC and Parlog have similar execution models but complementary virtues as will be argued. Hence it could be desirable to find some common denominator of both languages, which is sufficiently expressive to be worth programming in its own right, and yet is suffici...

Comparison of the programming models for considering risk in farm planning:application of utility-efficient programming

Interactive multiple objective programming in optimization of the fully fuzzy quadratic programming problems

In this paper, a quadratic programming (FFQP) problem is considered in which all of the cost coefficients, constraints coefficients, and right hand side of the constraints are characterized by L-R fuzzy numbers. Through this paper, the concept of α- level of fuzzy numbers for the objective function, and the order relations on the fuzzy numbers for the constraints are considered.  To optimize th...